?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Fix java tree..(part 2)
[f432xdd.git] / java / Graph Editor / .settings / org.eclipse.core.resources.prefs
blobf4592a78bb34d890b126b847bfc1edc4ef1b8bf6
1 #Thu Sep 30 18:32:08 CEST 2010\r
2 eclipse.preferences.version=1\r
3 encoding//src/controllers/SelectionController.java=UTF-8\r
Private repo!